Introduction to Tree Logics Pierre Genevès CNRS (slides mostly based on the ones by W. Martens and T. Schwentick) University of Grenoble Alpes, 2015–2016

Source URL: tyrex.inria.fr

• Model theory
• Mathematical logic
• Predicate logic
• First-order logic
• FO
• Second-order logic
• Structure
• Term
• Logic programming

HEDGING DOUBLE BARRIERS WITH SINGLES∗ Alessandro Sbuelz Tilburg University, First version: December 1999, This version: October 2000, PRELIMINARY

Source URL: www.istfin.eco.usi.ch

• Options
• Mathematical finance
• Barrier option
• Option style
• BlackScholes model
• Replicating portfolio
• Option
• Hedge
• Futures contract
• Forward contract
• VannaVolga pricing

Microsoft Word - pm_rpt_16_uncertainty.doc

Source URL: 141.232.10.32

• Measurement
• Sensitivity analysis
• Uncertainty
• Statistics
• Observational error
• Mathematical model
• Quantification of margins and uncertainties
• Uncertainty quantification

MIMS Technical Report No) A MATHEMATICAL STUDY OF THE ONE DIMENSIONAL KELLER AND RUBINOW MODEL FOR LIESEGANG BANDS D. HILHORST, R. VAN DER HOUT, M. MIMURA, I. OHNISHI Abstract. Our purpose is to start u

Source URL: www.mims.meiji.ac.jp

GUEST EDITORIAL Bruce I. Jacobs and Kenneth N. Levy, CFA Principals Jacobs Levy Equity Management Florham Park, New Jersey

Source URL: www.jlem.com

• Investment
• Mathematical finance
• Arbitrage pricing theory
• Smart beta
• Capital asset pricing model
• Investment management
• Beta
• Kenneth French
• Investment strategy
• Alpha
• Efficient-market hypothesis
• Rebalancing investments

(Almost) Model-Free Recovery ∗ Paul Schneider†and Fabio Trojani‡ January 9, 2016

Source URL: www.cb.cityu.edu.hk

• Mathematical finance
• BlackScholes model
• Risk-neutral measure
• Forward price
• VIX
• Forward measure
• Quantitative analyst
• Rational pricing

Description Logics for Shape Analysis Lilia Georgieva School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh, UK

Source URL: homepages.inf.ed.ac.uk

• Non-classical logic
• Edsger W. Dijkstra
• Predicate transformer semantics
• FO
• First-order logic
• Null
• Second-order logic
• Model theory
• Free logic
• Transitive closure

doi:j.entcs

Source URL: ti.arc.nasa.gov

• Mathematical proofs
• Proof theory
• Methods of proof
• Metalogic
• Knowledge representation
• Tree
• Model theory
• Natural deduction
• Theorem

What have rough paths got to do with finance? Terry Lyons Ni Hao Greg Gyurko

Source URL: www.ccfz.ch

• Quantitative analyst
• Valuation
• Terry Lyons
• Oxford-Man Institute
• Mathematical finance
• Economic model
• Finance

Considerations for the use of cellular electrophysiology models within cardiac tissue simulations Jonathan Coopera,∗, Alberto Corriasa,1 , David Gavaghana , Denis Nobleb a b

Source URL: www.cs.ox.ac.uk

• Electrophysiology
• Cellular neuroscience
• Cellular processes
• Membrane biology
• Nervous system
• CellML
• Bidomain model
• Cellular model
• Action potential
• Membrane potential
• Mathematical and theoretical biology